Litak A CONTINUUM OF INCOMPLETE INTERMEDIATE LOGICS
نویسندگان
چکیده
In the 1970’s, a number of important, deep and technically complicated results concerning relational semantics for modal logics was obtained by such authors as S. Thomason, K. Fine, M.S. Gerson, R.I. Goldblatt, J. F. A. K. van Benthem and W. Blok; it was the Golden Age of the subject, see [1], [2], and [3] for references and summaries of the most important works. Received 13 January 2002 This article is based on a paper delivered at the 4th International Tbilisi Symposium on Language, Logic and Computation (September 2001).
منابع مشابه
Characteristic formulas over intermediate logics
We expand the notion of characteristic formula to infinite finitely presentable subdirectly irreducible algebras. We prove that there is a continuum of varieties of Heyting algebras containing infinite finitely presentable subdirectly irreducible algebras. Moreover, we prove that there is a continuum of intermediate logics that can be axiomatized by characteristic formulas of infinite algebras ...
متن کاملIsomorphism via translation
We observe that the known fact that difference logic and hybrid logic with universal modality have the same expressive power on Kripke frames can be strengthened for a far wider class of general frames. This observation, together with a general completeness result, is used to show that lattices of difference logics and of hybrid logics are isomorphic.
متن کاملSome modal aspects of XPath
This paper provides several examples of how known results in modal logic can be applied to the XML document navigation language XPath. The applications concern complete axiomatizations and expressive power.
متن کاملOn Löb algebras, II
We study the variety of Löb algebras, the algebraic structures associated with Formal Propositional Calculus. Among other things, we show that there exist only two maximal intermediate logics in the lattice of intermediate logics over Basic Propositional Calculus. We introduce countably many locally finite sub-varieties of the variety of Löb algebras and show that their corresponding intermedia...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کامل